Type inference - PDFSEARCH.IO - Document Search Engine

Type inference
Results: 490

#	Item
211	A Theory of Type Qualifiers∗ Jeffrey S. Foster [removed] Manuel F¨ ahndrich Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2005-11-12 18:17:25 Programming language theory Subtype polymorphism Symbol Type inference Hindley–Milner Type system Type safety Simply typed lambda calculus Reference Software engineering Type theory Computing
212	Type Qualifiers: Lightweight Specifications to Improve Software Quality by Jeffrey Scott Foster B.S. (Cornell University[removed]M.Eng. (Cornell University) 1996 Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2005-11-12 18:17:26 Computing Data types Inference Object-oriented programming Program analysis Type system Subtype polymorphism Type inference Programming language Type theory Software engineering Programming language theory
213	Checking and Inferring Local Non-Aliasing∗ Alex Aiken Jeffrey S. Foster University of California, Berkeley Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2005-11-12 18:17:25 Type system Type inference Software engineering Theoretical computer science Type theory Programming language theory Program analysis
214	Preprint – Forthcoming in Science in Context The Role of Hypotheses in Biomechanical Research Darrell P. Rowbottom (Lingnan) & R. McNeill Alexander (Leeds) [removed] Add to Reading List Source URL: www.ln.edu.hk Language: English - Date: 2011-12-11 22:06:20 Hypothesis testing Statistics Scientific method Design of experiments Statistical inference Statistical hypothesis testing Hypothesis Scientific theory Type I and type II errors Science Philosophy of science Knowledge
215	8 JDT JDT embraces embraces Type Type Annotations Annotations Add to Reading List Source URL: www.eclipsecon.org Language: English - Date: 2014-03-22 10:44:54 Cross-platform software Data types Program analysis Type system Java version history Type inference Java Pointer Computing Type theory Java platform
216	Microsoft PowerPoint - Scott7.pptx Add to Reading List Source URL: digital.cs.usu.edu Language: English - Date: 2011-04-21 13:40:10 Programming language theory Data types Type system Type inference Strong typing C Enumerated type Array data type Type conversion Software engineering Computing Type theory
217	Practical Variable-Arity Polymorphism T. Stephen Strickland, Sam Tobin-Hochstadt, and Matthias Felleisen PLT @ Northeastern University Abstract. Just as some functions have uniform behavior over distinct types, other fun Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-01-16 15:37:27 Mathematics Data types Subroutines Universal algebra Lambda calculus Type inference Type system Variadic function Map Software engineering Type theory Computing
218	Qualified Types for ML-F Daan Leijen and Andres L¨oh 27 September 2005 Motivation / contribution Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:14 Computing Type inference Type system ML Hindley–Milner Type class Id Haskell Polymorphism Software engineering Type theory Programming language theory
219	Facilitating Reuse in Hardware Models with Enhanced Type Inference Manish Vachharajani Neil Vachharajani Add to Reading List Source URL: liberty.cs.princeton.edu Language: English - Date: 2011-11-28 14:53:01 Computing Type inference Type system Parametric polymorphism Subtype polymorphism Generic programming Standard ML Hindley–Milner Data type Type theory Software engineering Programming language theory
220	The Design and Implementation of Typed Scheme Sam Tobin-Hochstadt Matthias Felleisen PLT, Northeastern University Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-01-16 15:37:27 Type theory Racket Type system Type safety Lambda calculus Scheme Programming language System F Type inference Software engineering Programming language theory Computing

UPDATE